finite abelian group